In this open peer commentary, we categorize the possible “neuroscience in national security” definitions of misuse of science and identify which, if any, are uniquely presented by advances in neuroscience. To define misuse, we first define what we would consider appropriate use: the application of reasonably safe and effective technology, based on valid and reliable scientific research, to serve a legitimate end. This definition presents distinct opportunities for assessing misuse: misuse is the application of invalid or unreliable science, or is (...) the use of reliable scientific methods to serve illegitimate ends. Ultimately, we conclude that while national security is often a politicized issue, assessing the state of scientific progress should not be. (shrink)

Nosotres, biólogues, ecologistas y otres profesionales dedicados a proteger la vida, les escribimos con una solicitud urgente. Les pedimos muy comedidamente que su organización o institución emita un comunicado oficial condenando la crisis en curso y abordando los impactos ambientales y humanitarios en Palestina.

Henry Molaison, aged eighty-two, died at the end of 2008, and just after noon on exactly the first anniversary of his death, December 2, 2009, scientists began slicing his brain into 2,500 tissue samples. Known primarily in his lifetime as only H.M., he left his brain to science so that it could be dissected and digitally mapped – a gift much beloved by many scientists. An amnesiac in life, H.M. first rose to prominence in 1962 when Dr. Brenda Milner, (...) a pioneer in the field of neuropsychology, demonstrated that though H.M. was severely amnesic and could not remember past activities, he could nevertheless learn certain habits. The experiment involved the now famous mirror drawing. This article, written by a philosopher/artist and a neuroscientist/neuroaesthetician, argues that artists are unable to verbally articulate thoughts about their own art practice for reasons similar to why H.M. could not. All memories are not stored in the same part of the brain. Different categories of memories i.e., semantic memory or procedural memory, are stored in different parts of the brain. We argue that the procedural memory is not readily accessible to semantic memory. (shrink)

Some types of solar radiation management (SRM) research are ethically problematic because they expose persons, animals, and ecosystems to significant risks. In our earlier work, we argued for ethical norms for SRM research based on norms for biomedical research. Biomedical researchers may not conduct research on persons without their consent, but universal consent is impractical for SRM research. We argue that instead of requiring universal consent, ethical norms for SRM research require only political legitimacy in decision-making about global SRM trials. (...) Using Allen Buchanan & Robert Keohane's model of global political legitimacy, we examine several existing global institutions as possible analogues for a politically legitimate SRM decision-making body. (shrink)

The proposed model in this paper employs different integrated detectors, such as heat, smoke, and flame. The signals from those detectors go through the system algorithm to check the fire's potentiality and then broadcast the predicted result to various parties using GSM modem associated with the GSM network system. The system uses various sensors to detect fire, smoke, and gas, then transmits the message using GSM module. After the message, send by the module the help arrives in 15 minutes. The (...) system is associated with water pump and a sprinkler. The Water system is associated with a water tank and a sprinkler. The water tank uses a Ultrasonic sensor to monitor the level of water level in the tank for refilling the water tank. Once fire is detected, it automatically sends the emergency message and sprinkles the water. (shrink)

Rainfall prediction is one of the challenging tasks in weather forecasting. Accurate and timely rainfall prediction can be very helpful to take effective security measures in dvance regarding: on-going construction projects, transportation activities, agricultural tasks, flight operations and flood situation, etc. Data mining techniques can effectively predict the rainfall by extracting the hidden patterns among available features of past weather data. This research contributes by providing a critical analysis and review of latest data mining techniques, used for rainfall prediction. In (...) our proposed system we propose a new forecasting method that uses a Convolutional Neural Network monthly rainfall for a selected location. In our proposed system we are going to forecast the rainfall result based on the mean square error, mean absolute error and root mean square error, which we get in train and test of the dataset based deep learning technique. (shrink)

The study aimed to identify the role of administrative procedures and systems in enhancing the performance of the educational institutions in the Islamic University in Gaza. To achieve the research objectives, the researchers used the analytical descriptive approach to collect information. The researchers used the questionnaire distributed to three categories of employees at the Islamic University (senior management, faculty members, their assistants and members of the administrative board). A random sample of 314 employees was selected and 276 questionnaires were retrieved (...) with a recovery rate of 88.1%. The Statistical Analysis Program (SPSS) was used to enter process and analyze data. The results of the research showed a positive role for the administrative procedures and systems in enhancing the performance of the Islamic University from the point of view of the members (senior management, teaching staff and their assistants and the administrative body), where the relative weight of all the paragraphs (73.728%). The analysis of the results revealed that the administrative procedures at the Islamic University in Gaza are used to an acceptable degree. The relative weight of all the paragraphs is 70%. This indicates a relationship between administrative procedures and regulations and the performance of the Islamic University in the Gaza Strip. The study found that there was a good degree of approval from the sample regarding the administrative procedures and their relationship to the job performance. There exist a sufficient degree of powers to the deans and department managers to carry out their tasks, with the use of plans as control tools. And that there are rules and procedures provided for decision-making in the University Council. It also has full powers to manage the university to improve the teaching and learning environment. The researchers also recommended a number of recommendations, including the need to follow up on the procedures and systems of management and update them continuously in the light of changes that may occur and to ensure the existence of a strong system of electronic information systems within the university. There is a need to provide mechanisms for obtaining information about the surrounding external environment, and effective mechanisms to provide managers with the necessary information in a timely manner. The importance of providing channels of communication that enables staff to communicate information about any violations and breaches. The study also recommended the follow-up, review, procedures and administrative systems, and work to modify them in line with the mission of the university and the objectives that the university seeks to reach. (shrink)

We consider emergence from the perspective of dynamics: states of a system evolving with time. We focus on the role of a decomposition of wholes into parts, and attempt to characterize relationships between levels without reference to whether higher-level properties are “novel” or “unexpected.” We offer a classification of different varieties of emergence, with and without new ontological elements at higher levels. -/- Submitted to a volume on Real Patterns (Tyler Milhouse, ed.), to be published by MIT Press.

Cardiovascular diseases (CVD) represent a significant cause of morbidity and mortality worldwide, necessitating early detection for effective intervention. This research explores the application of machine learning (ML) algorithms in predicting cardiovascular diseases with enhanced accuracy by integrating optimization techniques. By leveraging data-driven approaches, ML models can analyze vast datasets, identifying patterns and risk factors that traditional methods might overlook. This study focuses on implementing various ML algorithms, such as Decision Trees, Random Forest, Support Vector Machines, and Neural Networks, optimized through (...) techniques like hyperparameter tuning, cross-validation, and feature selection to improve prediction accuracy. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

Phishing attacks remain one of the most prevalent cybersecurity threats, affecting individuals and organizations globally. The rapid evolution of phishing techniques necessitates more sophisticated detection and classification methods. In this paper, we propose a novel approach to phishing content classification using a Genetic Ranking Optimization Algorithm (GROA), combined with dynamic weighting, to improve the accuracy and ranking of phishing versus legitimate content. Our method leverages features such as URL structure, email content analysis, and user behavior patterns to enhance the detection (...) system's decision-making process. (shrink)

The research outlines a workflow that incorporates data collection, preprocessing, model training, and optimization. Real-world datasets from retail and e-commerce sectors are utilized to validate the proposed methodology, showcasing substantial improvements in model performance. The results indicate that optimized models not only provide better predictions of consumer behaviour but also enhance customer segmentation and targeting strategies. The study concludes with recommendations for future research, including the exploration of hybrid optimization techniques and the application of these methods in real-time analytics.

The ever-evolving landscape of cyber threats necessitates robust and adaptable intrusion detection systems (IDS) capable of identifying both known and emerging attacks. Traditional IDS models often struggle with detecting novel threats, leading to significant security vulnerabilities. This paper proposes an optimized intrusion detection model using Support Vector Machine (SVM) algorithms tailored to detect known and innovative cyberattacks with high accuracy and efficiency. The model integrates feature selection and dimensionality reduction techniques to enhance detection performance while reducing computational overhead. By leveraging (...) advanced optimization techniques such as Grid Search and Particle Swarm Optimization (PSO), the proposed SVM-based IDS achieves superior classification results. (shrink)

Many say that ontological disputes are defective because they are unimportant or without substance. In this paper, we defend ontological disputes from the charge, with a special focus on disputes over the existence of composite objects. Disputes over the existence of composite objects, we argue, have a number of substantive implications across a variety of topics in metaphysics, science, philosophical theology, philosophy of mind, and ethics. Since the disputes over the existence of composite objects have these substantive implications, they are (...) themselves substantive. (shrink)

The paper also discusses the technical architecture, including the network protocols, data management strategies, and user interface design considerations necessary to implement such a system. Additionally, it addresses the challenges related to data security, privacy, and system interoperability. Finally, the paper outlines potential future enhancements, such as the incorporation of AI-driven predictive analytics and advanced AR features, to further elevate the smart home experience.

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

Emotion detection and management have emerged as pivotal areas in humancomputer interaction, offering potential applications in healthcare, entertainment, and customer service. This study explores the use of deep learning (DL) models to enhance emotion recognition accuracy and enable effective emotion regulation mechanisms. By leveraging large datasets of facial expressions, voice tones, and physiological signals, we train deep neural networks to recognize a wide array of emotions with high precision. The proposed system integrates emotion recognition with adaptive management strategies that provide (...) personalized feedback and interventions based on detected emotional states. Our approach surpasses traditional machine learning methods, demonstrating superior performance in real-time applications. (shrink)

Artificial intelligence (AI) is an area of computer science that emphasizes the creation of intelligent machines or software that work and react like humans. Some of the activities computers with artificial intelligence are designed for include, Speech, recognition, Learning, Planning and Problem solving. Deep learning is a collection of algorithms used in machine learning, It is part of a broad family of methods used for machine learning that are based on learning representations of data. Deep learning is a technique used (...) to produce Pneumonia detection and classification models using x-ray imaging for rapid and easy detection and identification of pneumonia. In this thesis, we review ways and mechanisms to use deep learning techniques to produce a model for Pneumonia detection. The goal is find a good and effective way to detect pneumonia based on X-rays to help the chest doctor in decision-making easily and accuracy and speed. The model will be designed and implemented, including both Dataset of image and Pneumonia detection through the use of Deep learning algorithms based on neural networks. The test and evaluation will be applied to a range of chest x-ray images and the results will be presented in detail and discussed. This thesis uses deep learning to detect pneumonia and its classification. (shrink)

The proposed IDS model is aimed at detecting network intrusions by classifying all the packet traffic in the network as benign or malicious classes. The Canadian Institute for Cyber security Intrusion Detection System (CICIDS2017) dataset has been used to train and validate the proposed model. The model has been evaluated in terms of the overall accuracy, attack detection rate, false alarm rate, and training overhead. DDOS attacks based on Canadian Institute for Cyber security Intrusion Detection System (KDD Cup 99) dataset (...) has been used to train and validate. For validation, comparison for 2 dataset (CICIDS2017 and KDD Cup 99) is done. Then, to implement the Deep learning algorithms is proposed. Method Classification using SVM algorithm Model predict is done. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

In today's data-driven world, the efficient management of network resources is crucial for optimizing performance in data centers and large-scale networks. Load balancing is a critical process in ensuring the equitable distribution of data across multiple paths, thereby enhancing network throughput and minimizing latency. This paper presents a comprehensive approach to load balancing using advanced optimization techniques integrated with multipath routing protocols. The primary focus is on dynamically allocating network resources to manage the massive volume of data generated by modern (...) applications. By leveraging algorithms such as Genetic Algorithms (GA) and Particle Swarm Optimization (PSO), the proposed method efficiently distributes data across multiple paths, ensuring balanced network utilization. The combination of these algorithms with multipath routing significantly reduces congestion and improves overall network performance. (shrink)

The ecosystem services argument is a highly publicised instrumental argument for protecting biodiversity. I develop a new objection to this argument based on the lack of a causal connection from global species losses to local ecosystem changes. I survey some alternative formulations of services arguments, including ones incorporating option value or a precautionary principle, and show that they do not fare much better than the standard version. I conclude that environmental thinkers should rely less on ecosystem services as a means (...) to defend biodiversity, and that attention should be focused on additional types of value which might be attributed to global biodiversity. (shrink)

Current debates surrounding the virtues and shortcomings of randomization are symptomatic of a lack of appreciation of the fact that causation can be inferred by two distinct inference methods, each requiring its own, specific experimental design. There is a non-statistical type of inference associated with controlled experiments in basic biomedical research; and a statistical variety associated with randomized controlled trials in clinical research. I argue that the main difference between the two hinges on the satisfaction of the comparability requirement, which (...) is in turn dictated by the nature of the objects of study, namely homogeneous or heterogeneous populations of biological systems. Among other things, this entails that the objection according to which randomized experiments fail to provide better evidence for causation because randomization cannot guarantee comparability is mistaken. (shrink)

In this paper an Artificial Neural Network (ANN) model, for predicting the category of a tumor was developed and tested. Taking patients’ tests, a number of information gained that influence the classification of the tumor. Such information as age, sex, histologic-type, degree-of-diffe, status of bone, bone-marrow, lung, pleura, peritoneum, liver, brain, skin, neck, supraclavicular, axillar, mediastinum, and abdominal. They were used as input variables for the ANN model. A model based on the Multilayer Perceptron Topology was established and trained using (...) data set which its title is “primary tumor” and was obtained from the University Medical Centre, Institute of Oncology, Ljubljana, Yugoslavia Test data evaluation shows that the ANN model is able to correctly predict the tumor category with 76.67 % accuracy. (shrink)

Slurs possess interesting linguistic properties and so have recently attracted the attention of linguists and philosophers of language. For instance the racial slur "nigger" is explosively derogatory, enough so that just hearing it mentioned can leave one feeling as if they have been made complicit in a morally atrocious act.. Indeed, the very taboo nature of these words makes discussion of them typically prohibited or frowned upon. Although it is true that the utterance of slurs is illegitimate and derogatory in (...) most contexts, sufficient evidence suggests that slurs are not always or exclusively used to derogate. In fact, slurs are frequently picked up and appropriated by the very in-group members that the slur was originally intended to target. This might be done, for instance, as a means for like speakers to strengthen in-group solidarity. So an investigation into the meaning and use of slurs can give us crucial insight into how words can be used with such derogatory impact, and how they can be turned around and appropriated as vehicles of rapport in certain contexts among in-group speakers. In this essay I will argue that slurs are best characterized as being of a mixed descriptive/expressive type. Next, I will review the most influential accounts of slurs offered thus far, explain their shortcomings, then provide a new analysis of slurs and explain in what ways it is superior to others. Finally, I suggest that a family-resemblance conception of category membership can help us achieve a clearer understanding of the various ways in which slurs, for better or worse, are actually put to use in natural language discourse. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

I develop an account of ecological role functions—the functions of species within ecosystems—which is informed by alternative regime phenomena in ecology. My account is a causal-role theory which includes a counterfactual sensitivity condition. The account tracks and explains a distinction ecologists make between functions and various activities which are not functions. My counterfactual sensitivity condition resolves the liberality problem often attributed to causal-role theories of function, while also illuminating the explanatory centrality of role functions within ecology.

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

The aim of this study was to identify the obstacles facing the application of knowledge management and its impact on performance at Palestine Technical University-Kadoorei from the point of view of employees and to detect the differences between the average views of the study sample on the subject of the study according to some variables such as (gender, nature of work, Education Level, specialization, years of experience). The study followed the descriptive analytical method and the questionnaire as a tool for (...) study. It was distributed to 74 employees. After the questionnaire was distributed, the data was collected and coded and entered into the computer and processed statistically using the SPSS program. The study found that the percentage of approval of the obstacles to the application of knowledge management at Palestine Technical University-Kadoorei differed between few and large, and the relative weight of the axis was complete (68.2). The degree of awareness of the workers of the reality of performance excellence at the University of Palestine Technical-Kadoorei was between medium and very large. There is an impact of the constraints of the application of knowledge management on performance excellence at Palestine Technical University-Kadoorei. In light of the results of the previous study, the researchers recommended that the importance of knowledge management should be taken into account in order to raise the university's reputation and reputation at home and abroad and improve its services to students and the local community. And to promote the exchange of experiences and knowledge with local, regional and international universities in order to enhance the knowledge and preserve it and provide modern and sophisticated scientific techniques and use them in administrative and academic work at the university. (shrink)

Mutual funds are common investments because they provide a cost-effective and effective means to vary your investments (or possess an assortment of securities -- stocks, bonds, etc.) without having to make a huge starting investment.

In this article, we identify three key design dimensions along which cryptocurrencies differ -- privacy, censorship-resistance, and consensus procedure. Each raises important normative issues. Our discussion uncovers new ways to approach the question of whether Bitcoin or other cryptocurrencies should be used as money, and new avenues for developing a positive answer to that question. A guiding theme is that progress here requires a mixed approach that integrates philosophical tools with the purely technical results of disciplines like computer science and (...) economics. Note: this article is the second entry within a two-part sequence on the Philosophy, Politics, and Economics of Cryptocurrency. (shrink)

This essay interprets Butler’s distinction between identity in the loose and popular sense and in the strict and philosophical sense. Suppose there are different standards for counting the same things. Then what are two distinct things counting strictly may be one and the same thing counting loosely. Within a given standard identity is one-one. But across standards it is many-one. An alternative interpretation using the parts-whole relation fails, because that relation should be understood as many-one identity. Another alternative making identity (...) relative to sort fails, because whole and parts can be of the same sort. (shrink)

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

We characterize four fruitful and underappreciated epistemic roles played by the concept of an individualized niche in contemporary biology, utilizing results of a qualitative empirical study conducted within an interdisciplinary biological research center. We argue that the individualized niche concept (1) shapes the research agenda of the center, (2) facilitates explaining core phenomena related to inter-individual differences, (3) helps with managing individual-level causal complexity, and (4) promotes integrating local knowledge from ecology, evolutionary biology, behavioral biology and other biological fields. We (...) thereby also challenge arguments that the niche concept is superfluous in ecology. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

Two attitudes are possible: one, that the world is an absolute jungle and that the exercise of coercive power by rulers is only a manifestation of this; and the other, that it is both necessary and right that there should be this exercise of power, that through it the world is much less of a jungle than it could possibly be without it, so that one should in principle be glad of the existence of such power, and only take exception (...) to its unjust exercise. (shrink)

The problem of evil is broadly considered to be one of the greatest intellectual threats to traditional brands of theism. And William Rowe’s 1979 formulation of the problem in “The Problem of Evil and Some Varieties of Atheism” is the most cited formulation in the contemporary philosophical literature. In this paper, we explore how the tools and resources of experimental philosophy might be brought to bear on Rowe’s seminal formulation, arguing that our empirical findings raise significant questions regarding the ultimate (...) success of Rowe’s argument. Such a result would be quite notable within philosophy of religion, since this is considered one of the most formidable arguments against theism. However, further testing is needed before any firm conclusions can be drawn. -/- In section 1, we elucidate Rowe’s formulation of the problem of evil and the intuitions that seem to underwrite it. In section 2, we explore how the tools and resources of experimental philosophy might be brought to bear on Rowe’s formulation, outlining our hypotheses and our methods for testing them before showcasing our results. In section 3, we discuss the philosophical import of our results–arguing that our results, when taken together, pose an initial challenge to Rowe’s seminal argument. (shrink)

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

This paper will argue that there is no such thing as introspective access to judgments and decisions. I t won't challenge the existence of introspective access to perceptual and imagistic states, nor to emotional feelings and bodily sensations. On the contrary, the model presented in Section 2 presumes such access. Hence introspection is here divided into two categories: introspection of propositional attitude events, on the one hand, and introspection of broadly perceptual events, on the other. I shall assume that the (...) latter exists while arguing that the fonner doesn't . Section I makes some preliminary points and distinctions, and outlines the scope of the argument. Section 2 presents and motivates the general model of introspection that predicts a divided result. Section 3 provides independent evidence for the conclusion that judgments and decisions aren't introspectable. Section 4 then replies to a number of objections to the argument, the most important of which is made from the perspective of so-called "dual systems theories" of belief formation and decision making, The upshot is a limited form of eliminativism about introspection, in respect of at least two core categories of propositional attitude. (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

Why does classical equilibrium statistical mechanics work? Malament and Zabell (1980) noticed that, for ergodic dynamical systems, the unique absolutely continuous invariant probability measure is the microcanonical. Earman and Rédei (1996) replied that systems of interest are very probably not ergodic, so that absolutely continuous invariant probability measures very distant from the microcanonical exist. In response I define the generalized properties of epsilon-ergodicity and epsilon-continuity, I review computational evidence indicating that systems of interest are epsilon-ergodic, I adapt Malament and Zabell’s (...) defense of absolute continuity to support epsilon-continuity, and I prove that, for epsilon-ergodic systems, every epsilon-continuous invariant probability measure is very close to the microcanonical. (shrink)